f(x).subs() substitution in sympy